数式処理とAL （その1） - 共立出版コンピュータサイエンス誌『bit』